- дедуктивная полнота
- (логического вывода) deductive completeness
Русско-английский словарь по вычислительной технике и программированию . 2013.
дедуктивная полнота
Look at other dictionaries:
ПОЛНОТА — в логике и дедуктивных науках, свойство аксиоматич. теории, характеризующее достаточность для к. л. определ. целей её выразит. и дедуктивных средств. Аксиоматич. система наз. дедуктивно полной по отношению к данной интерпретации, если все … Философская энциклопедия
ПОЛНОТА ДЕДУКТИВНАЯ — свойство формальной системы (исчисления), характеризующее достаточность его дедуктивных средств с т. зр. нек рых фиксированных критериев (содержательных или формальных). В зависимости от характера выбранного критерия приходят к той или иной… … Философская энциклопедия
Дедуктивная теория — Синоним теория фокусята Содержание 1 Определение и разновидности 2 Разновидности дедуктивных теорий … Википедия
ПОЛНОТА ДЕДУКТИВНАЯ — англ. plenitude/completeness, deductive; нем. Vollstandigkeit, deduktive. Достаточность дедуктивных средств с точки зрения нек рых фиксированных критериев содержательных или формальных. Antinazi. Энциклопедия социологии, 2009 … Энциклопедия социологии
Полнота теории — Содержание 1 Определение и разновидности 2 Разновидности дедуктивных теорий 2.1 Задание ак … Википедия
Полнота — свойство научной теории, характеризующее достаточность для каких либо определённых целей её выразительных и (или) дедуктивных средств. Один из аспектов понятия П. т. н. функциональная П. (ф. п.) применительно к естественному… … Большая советская энциклопедия
ПОЛНОТА ДЕДУКТИВНАЯ — англ. plenitude/completeness, deductive; нем. Vollstandigkeit, deduktive. Достаточность дедуктивных средств с точки зрения нек рых фиксированных критериев содержательных или формальных … Толковый словарь по социологии
логика — ЛОГИКА (от греч. logik (logos) слово, разум, рассуждение) наука о правильных (корректных) рассуждениях. Традиционно рассуждение состоит из последовательности предложений, названных посылками, из которых следует единственное предложение,… … Энциклопедия эпистемологии и философии науки
ДЕДУКЦИЯ — (от лат. deductio выведение) переход от посылок к заключению, опирающийся на логический закон, в силу чего заключение с логической необходимостью следует из принятых посылок. Характерная особенность Д. заключается в том, что от истинных посылок… … Философская энциклопедия
ПОСТ ЭМИЛЬ ЛЕОН — ПОСТ ЭМИЛЬ ЛЕОН (Post Emu Leon) (11 февраля 1897, Августов, Польша 21 апреля 1954, Нью Йорк) американский логик и математик. В 1920 получил степень доктора философии в Колумбийском университете. Читал лекции по математике и логике в этом… … Философская энциклопедия
Дедукция — (от лат. deductio выведение) переход от общего к частному; в более специальном смысле термин «Д.» обозначает процесс логического вывода, т. е. перехода по тем или иным правилам логики (См. Логика) от некоторых данных предложений посылок к … Большая советская энциклопедия
